Language/OS - Multiplatform Resource Library/LANGUAGE OS.iso/t3_1/risc_src.lha/risc_sources/tman/semantics.tex/images.pl

LaTeX Document | 1990-10-02 | 599b | 16 lines

# LaTeX2HTML 2022 (Released January 1, 2022)
# Associate images original text with physical files.
$key = q//;
$cached_env_img{$key} = q|<IMG
  STYLE="height: 196.25ex; vertical-align: -3.08ex; " SRC="|."$dir".q|img1.png"
 ALT="\begin{codexenv}
\begin{tabular}{lll}
-2102 & $\Longrightarrow$ & -2102 \\\\
{\...
''A string.'' & $\Longrightarrow$ & ''A string.''
\end{tabular} \end{codexenv}">|;
$key = q/Longrightarrow;MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 STYLE="height: 6.78ex; vertical-align: 172.38ex; " SRC="|."$dir".q|img2.png"
 ALT="$\Longrightarrow$">|;